The funny break between these two lines should be eliminated. [First reported by Malcolm Clark on 9 Aug 94.]